Indian Institute of Technology, Bombay - Concurrency, Formal Specification and Verification, Programming Languages, Real time and Reactive Programming, Distributed Computing.
University of Cambridge - Programming language design and implementation, typeless languages, optimizing compilers, efficient interpreters, just-in-time compilation.
University of Aberdeen - Natural language front ends; formal properties of linguistic formalisms; semantic interpretation of English sentences, particularly temporal semantics; modelling of verbal humour.